Member of technical staff

Results: 51



#Item
31Evaluation / Trusted computing base / Microkernel / L4 microkernel family / Real-time operating systems / Gernot Heiser / Formal verification / Isabelle / Formal methods / Computer security / Computer architecture / Computing

Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations Dr Daniel Potts, VP of Engineering, General Dynamics C4 Systems Rene Bourquin, Member Technical Staff, General Dynamics C4 Syst

Add to Reading List

Source URL: sel4.org

Language: English - Date: 2014-07-28 22:03:39
32Association of College and Research Libraries / American Library Association / Association for Library Collections and Technical Services / Young Adult Library Services Association

Summary of ALA Connect Usage ALA Connect runs on Drupal 7 and is hosted externally. We contract with Urban Insight to do the programming and code maintenance, but the project is managed by ALA staff member Jenny Levine i

Add to Reading List

Source URL: itts.ala.org

Language: English - Date: 2014-02-20 15:31:28
33Energy in the United States / Environment / United States Department of Energy / Energy Research and Development Administration / Office of Scientific and Technical Information / Energy law / Energy industry / Energy policy / United States Environmental Protection Agency / Energy / Energy economics / Government

White House Central Files, Staff Member and Office Files: Glenn R. Schleede Folder Title List

Add to Reading List

Source URL: www.nixonlibrary.gov

Language: English - Date: 2009-09-18 15:36:55
34System software / Cross-platform software / Data management / BEA Systems / JRockit / Oracle Corporation / Oracle Database / Copyright / Oracle WebLogic Server / Software / Computing / Java virtual machine

Using Java Flight Recorder Marcus Hirt Consulting Member of Technical Staff Agenda  Flight Recorder Overview

Add to Reading List

Source URL: www.jfokus.se

Language: English - Date: 2014-02-05 19:45:36
35Computer network security / Crime prevention / National security / 105th United States Congress / Digital Millennium Copyright Act / Information security / Vulnerability / Internet privacy / Privacy / Security / Computer security / Cyberwarfare

Name and Affiliation I am Shawn Hernan, a senior member of the technical staff at the CERT Coordination Center (CERT/CC). CERT/CC is part of the Software Engineering Institute, a federally funded research and development

Add to Reading List

Source URL: copyright.gov

Language: English - Date: 2012-05-24 14:25:09
36Internet in the United States / Digital Millennium Copyright Act / Security / Anti-circumvention / Computer security / Law / 105th United States Congress / Computer law

Name and Affiliation I am Shawn Hernan, a senior member of the technical staff at the CERT Coordination Center (CERT/CC). CERT/CC is part of the Software Engineering Institute, a federally funded research and development

Add to Reading List

Source URL: copyright.gov

Language: English - Date: 2012-05-24 14:27:25
37Chemical kinetics / Homogeneous catalysis / Heterogeneous catalysis / Chemical reaction / Chemist / Inorganic chemistry / American Chemical Society / Hydrogenation / Chemistry / Physical chemistry / Catalysis

Profiles of Chemists Nancy Jackson Senior Member of Technical Staff Sandia National Laboratories Albuquerque, NM Education:

Add to Reading List

Source URL: www.careercornerstone.org

Language: English - Date: 2013-02-08 14:52:24
38Scripting languages / Python / Android / Computing / Software engineering / Computer programming

INTERNET POSTING POSITION TITLE: Member of Technical Staff

Add to Reading List

Source URL: s3.amazonaws.com

Language: English - Date: 2014-08-04 13:52:53
39Cloud infrastructure / Utility computing / Azure Services Platform / Grid computing / Software as a service / Platform as a service / Salesforce.com / Amazon Elastic Compute Cloud / IBM cloud computing / Cloud computing / Centralized computing / Computing

Architectural Implications of Cloud Computing Grace Lewis Research, Technology and Systems Solutions (RTSS) Program Lewis is a senior member of the technical staff at the SEI in the Research, Technology, and System Solut

Add to Reading List

Source URL: www.sei.cmu.edu

Language: English - Date: 2011-10-24 10:29:18
40Middle States Association of Colleges and Schools / Identity theft / Crime / Higher education / Academia / Carnegie Mellon University / Association of American Universities / Association of Independent Technological Universities

The Insider Threat: Lessons Learned from Actual Insider Attacks Randall Trzeciak Insider Threat Center at CERT Trzeciak is currently a senior member of the technical staff at CERT. He is the technical team lead of the In

Add to Reading List

Source URL: www.sei.cmu.edu

Language: English - Date: 2011-10-24 10:38:22
UPDATE